Самая большая электронная библиотека рунета. Поиск книг и журналов
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture ... Programming and Software Engineering)
Автор: Gary T. Leavens, Автор: Peter O'Hearn, Автор: Sriram K. Rajamani
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture Notes ... Programming and Software Engineering)
Автор: Gary T. Leavens, Автор: Peter O'Hearn, Автор: Sriram K. Rajamani
|
